1. Foundations of logic and mathematics: applications to computer science and cryptography

پدیدآورنده:

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Logic, Symbolic and mathematical,، Set theory,، Number theory,، Computer science-- Mathematics

رده :
QA
9
.
N53
2002

2. Foundations of logic and mathematics : applications to computer science and cryptography

پدیدآورنده:

کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)

موضوع: ، Logic, Symbolic and mathematical,، Set theory,، Number theory,، Computer science -- Mathematics

رده :
QA
9
.
N53
2002